Causal Artificial Intelligence [Free Textbook]
causalai-book.net·1d·
Discuss: Hacker News
📚Automata Learning
An Introduction to XForms
xml.com·12h·
Discuss: Hacker News
⚙️PL Implementation
Mind the Gap: Evaluating Model- and Agentic-Level Vulnerabilities in LLMs with Action Graphs
arxiv.org·1d
🛡️seL4
Prompts are Operating Systems
helloscribe.medium.com·1d·
Discuss: r/programming
⚙️Operating System Design
Was Action! The Best 8-Bit Language?
hackaday.com·5m
💾Retro Computing
Decision Theory Guarding is Sufficient for Scheming
lesswrong.com·11h
🧠Automated Reasoning
Practical CI-friendly Performance Tests
solidean.com·10h·
Discuss: Lobsters, r/cpp
👁️System Observability
Generic Constraints and Mapped Types in Large-Scale Applications
auslake.vercel.app·12h·
Discuss: r/programming
💎Refinement Types
Show HN: Asimov's three laws, a working implementation (don't use in production)
maybedont.ai·6h·
Discuss: Hacker News
🩹Self-Healing Systems
Rich Answered That
gist.github.com·10h·
Discuss: Lobsters, Hacker News
🧮Lambda Calculus
Visualising Topology Inspired Computing Algorithms
antifold.com·5h·
Discuss: Hacker News
🧩Separation Logic
I Built a Handy macOS CLI in 2 Hours with Zero Swift Knowledge
zbeegnew.dev·4h·
Discuss: Hacker News
⚙️PL Implementation
Under the Hood of Fuzzy Search: Building a Search Engine 15 times fuzzier than Lucene
andrewjsaid.com·3d·
Discuss: Hacker News, r/programming
🐫OCaml
New parametric CAD BREP kernel attempt
github.com·19h·
Discuss: Hacker News
🐫OCaml
Hierarchical Reasoning Model assembly manual for toddlers
yacinemahdid.com·8h·
Discuss: Hacker News
📚Automata Learning
The bloat of edge-case first libraries
43081j.com·5h·
Discuss: Lobsters, Hacker News
💎Refinement Types
Introduction to Nyquist and Lisp Programming
manual.audacityteam.org·1d·
Discuss: Hacker News
🧮Lambda Calculus
Using Haskell in Production
agentultra.com·7h·
Discuss: Hacker News
🔠Type-Level Programming
How to Prove False Statements: Practical Attacks on Fiat-Shamir
eprint.iacr.org·6h·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
Using RPI 5 Compute Module for FPGA Test
hackster.io·1d·
Discuss: Hacker News
🐫Embedded OCaml